Celestin Apprentice 5/Apprentice-Release5.iso/Source Code/C/Applications/Moscow ML 1.31/source code/mosml/src/compiler/Rtvals.sig

Text File | 1996-07-03 | 500 b | 21 lines | [TEXT/R*ch]

(* Rtvals.sig *)

local
  open Obj Const Globals Types;
in

type ExnName = QualifiedIdent ref;

val getGlobalVal : int -> obj;
val setGlobalVal : int -> obj -> unit;
val printLiteralConst : obj -> unit;
val printDepth : int ref;
val printLength : int ref;
val printVal : TypeScheme -> obj -> unit;
val evalPrint : obj -> obj -> obj;
val evalInstallPP : obj -> (ppstream -> 'a -> unit) -> unit;
val resetGlobalDynEnv : unit -> unit;
val loadGlobalDynEnv : string -> (string * obj) list -> unit;

end;